c999f99f48df7060166ae594993e83e1317788ff,org.erlide.model/src/org/erlide/engine/internal/model/root/ErlModule.java,ErlModule,getInitialText,#,122
Before Change
if (file != null) {
if (file.isAccessible() && file.isSynchronized(0)) {
try {
charset = file.getCharset();
initialText = Util.getInputStreamAsString(file.getContents(),
charset);
} catch (final CoreException e) {
After Change
if (file != null) {
if (file.isAccessible() && file.isSynchronized(0)) {
try {
charset = Charset.forName(file.getCharset());
initialText = Util.getInputStreamAsString(file.getContents(),
charset.name());
} catch (final CoreException e) {